Identifying Enumeration Types Modeled with Symbolic Constants
نویسندگان
چکیده
An important challenge in software reengineering is to encapsulate collections of related data that, due to the absence of appropriate constructs for encapsulation in legacy programming languages, may be distributed throughout the code. The encapsulation of such collections is a necessary step for reengineering a legacy system into an objectoriented design or implementation. Encapsulating a set of related symbolic constants into an enumeration type is an instance of this problem. We present a classification of how enumeration types are modeled using symbolic constants in real-world programs, a set of heuristics to identify candidate enumeration types, and an experimental evaluation of these heuristics.
منابع مشابه
Analytic Combinatorics — Symbolic Combinatorics
This booklet develops in nearly 200 pages the basics of combinatorial enumeration through an approach that revolves around generating functions. The major objects of interest here are words, trees, graphs, and permutations, which surface recurrently in all areas of discrete mathematics. The text presents the core of the theory with chapters on unlabelled enumeration and ordinary generating func...
متن کاملFrequency of Home Numeracy Activities Is Differentially Related to Basic Number Processing and Calculation Skills in Kindergartners
Home numeracy has been shown to play an important role in children's mathematical performance. However, findings are inconsistent as to which home numeracy activities are related to which mathematical skills. The present study disentangled between various mathematical abilities that were previously masked by the use of composite scores of mathematical achievement. Our aim was to shed light on t...
متن کاملA Symbolic Partial Order Reduction Algorithm for Rule Based Transition Systems
Partial order reductions are a class of methods that attempt to reduce the state space that must be explored to verify systems by explicit state enumeration. Partial order reduction algorithms have been successfully incorporated into tools such as Spin and VFSM-valid. However, current partial order algorithms assume that the concurrency model is based on processes. Rule based formalisms, such a...
متن کاملEfficient Algorithms To Enumerate Isomers and Diamutamers with More Than One Type of Substituent
In this paper we describe numeric as well as symbolic algorithms for the enumeration of substitutional isomers with an unlimited number of different achiral substituents. We consider three different scenarios: first, the enumeration of diamutamers with a given set of ligand types and ligand multiplicity, second, the enumeration of diamutamer libraries with a given ligand assortment pattern, and...
متن کاملType-Itemized Enumeration of RS-Stereoisomers of Octahedral Complexes
Stereoisograms of octahedral complexes are classified into five types (type I--typeV) under the action of the corresponding RS-stereoisomeric group. Their enumeration is accomplished in a type-itemized fashion, where Fujita's proligand method developed originally for combinatorial enumeration under point groups (S. Fujita, Theor. Chem. Acc., 113, 73--79 (2005)) is extended to meet the requireme...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996